42. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده: \ Martin Davis, ... [et al.] (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer logic -- Congresses,Computer science,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر
رده :
QA
75
.
5
.
L66
2015
E-Book
,
43. Mass spectrometry
پدیدآورنده: by Reg davis, martin freason, editor F. Elizabeth Prichard
کتابخانه: کتابخانه مرکزی و مرکز نشر دانشگاه بیرجند (دکتر محمد حسن گنجی) (خراسان جنوبی)
موضوع: ، Mass spectrometry - programmed instruction,، Chemistry analytic - programmed in struction
رده :
QD
96
.
M3
D38
1990
44. Mass spectrometry : analytical chemistry by open learning
پدیدآورنده: authors, Reg Davis, Martin Frearson ; editor, F. Elizabeth Prichard
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Programmed instruction ، Mass spectrometry,Programmed instruction ، Chemistry, Analytic
رده :
QD
96
.
M3
D38
1987
45. Na logički pogon :
پدیدآورنده: Martin Davis; [prijevod Ljerka Vukić i Ognjen Strpić].
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: računalniki -- matematična logika -- zgodovinski pregledi -- Leibnit -- Boolejeva logika -- simbolična logika -- teorija množic -- Turnigovi stroji -- pregledno delo
46. Practical injection molding
پدیدآورنده: / Bernie A. Olmsted, Martin E. Davis
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Injection molding of plastics
رده :
TP1150
.
O47
2001
47. Significant disability :
پدیدآورنده: edited by E. Davis Martin, Jr. ; with a foreword by John S. Oehler.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: People with disabilities-- Government policy-- United States.,People with disabilities-- Mental health-- United States.,People with disabilities-- Rehabilitation-- United States.,Social work with people with disabilities-- United States.,Sociology of disability-- United States.,Disabled Persons-- United States.,Health Policy-- United States.,Human Rights-- United States.,Rehabilitation-- United States.,Social Support-- United States.,People with disabilities-- Government policy.,People with disabilities-- Mental health.,People with disabilities-- Rehabilitation.,SOCIAL SCIENCE-- People with Disabilities.,Social work with people with disabilities.,Sociology of disability.,United States., 7
رده :
HV1553
.
S555
2001
48. Solvability, provability, definability :
پدیدآورنده: Martin Davis, editor
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Post, Emil Leon,1897-1954,Logic, Symbolic and mathematical
رده :
QA3
.
P78
1994
49. Solvability, provability definability : The collected works of Emil L. Post
پدیدآورنده: Martin Davis, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Post, Emil Leon, 7981-4591,، Logic, Symbolic and mathematical
رده :
QA
3
.
P68
50. Sourcebook on contract law
پدیدآورنده : / David Oughton and Martin Davis
موضوع : قراردادها -- انگلستان
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
51. Sourcebook on contract law
پدیدآورنده: David W. Oughton, Martin Davis
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Contracts -- England,، Contracts -- Wales,، Contrats -- Grande-Bretagne
رده :
KF
850
.
S475
2000
52. Sourcebook on contract law
پدیدآورنده: / David Oughton and Martin Davis
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: قراردادها -- انگلستان
53. The project cool guide to HTML
پدیدآورنده: Teresa A. Martin and Glenn Davis
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: ، HTML )Document markup language(
رده :
QA
76
.
76
.
H94
M275
1997
54. The project cool guide to HTML
پدیدآورنده: Glenn Davis and Teresa Martin
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع: HTML)Document markup language(
رده :
QA
76
,.
76
.
M22P7
1997
55. The project cool guide to HTML
پدیدآورنده: Glenn Davis and Teresa Martin
کتابخانه: کتابخانه مرکزی و مرکز نشر دانشگاه بیرجند (دکتر محمد حسن گنجی) (خراسان جنوبی)
موضوع: ، HTML )Document markup language(
رده :
QA
76
.
76
.
H94
M27
56. The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده: edited by Martin Davis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Godel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
57. The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده: edited by Martin Davis
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Gedel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
2004
58. The undecidable;basic papers on undecidable propositions, unsolvable problems and computable functions.
پدیدآورنده: Davis, Martin 8291-ed.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
QA
229
.
6
.
D3
U5
1965
59. The universal computer : the road from Leibniz to Turing
پدیدآورنده: Martin Davis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: History ، Electronic digital computers,Biography ، Mathematicians
رده :
QA
76
.
17
.
D29U5
2018
60. Universal Computer : The Road from Leibniz to Turing
پدیدآورنده: / Davis, Martin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ELECTRONIC&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ENGINEERING, ELECTRICAL
رده :
E-BOOK
